A Method of Determining Whether a Smart-Phone is Moving

Method for Determining Whether a Gene Of

Determining Whether V(A) Has a Model Companion is Undecidable

Using techniques pioneered by R. McKenzie, we prove that there is no algorithm which, given a finite algebra in a finite language, determines whether the variety (equational class) generated by the algebra has a model companion. In particular, there exists a finite algebra such that the variety it generates has no model companion; this answers a question of Burris and Werner from 1979.

Method for determining whether a gene of Escherichia coli is essential: application to the polA gene.

We have developed a general method for determining whether a gene of Escherichia coli is essential for viability. The method requires cloned DNA spanning the gene in question and a reasonably detailed genetic and physical map of the cloned segment. Using this information, one constructs a deletion of the target gene in vitro. For convenience, the deletion can be marked by an antibiotic resistan...

Determining Whether a Multivariate Hyperexponential Function is Algebraic

Let F = C(x1, . . . , x`, x`+1, . . . , xm), where x1, . . . , x` are continuous variables, and x`+1, . . . , xm are discrete variables. We show that a hyperexponential function, which is algebraic over F , is of form g(x1, . . . , xm)q(x1, . . . , x`) 1 t ω x`+1 j+1 · · ·ωxm m where g ∈ F , q ∈ C(x1, . . . , x`), t ∈ Z and ω`+1, . . . , ωm are roots of unity. Furthermore, we present an algorit...

solution of security constrained unit commitment problem by a new multi-objective optimization method

چکیده-پخش بار بهینه به عنوان یکی از ابزار زیر بنایی برای تحلیل سیستم های قدرت پیچیده ،برای مدت طولانی مورد بررسی قرار گرفته است.پخش بار بهینه توابع هدف یک سیستم قدرت از جمله تابع هزینه سوخت ،آلودگی ،تلفات را بهینه می کند،و هم زمان قیود سیستم قدرت را نیز برآورده می کند.در کلی ترین حالتopf یک مساله بهینه سازی غیر خطی ،غیر محدب،مقیاس بزرگ،و ایستا می باشد که می تواند شامل متغیرهای کنترلی پیوسته و گ...